1. Automata, languages and programming :
المؤلف: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
2. Automated and algorithmic debugging :
المؤلف: Peter A Fritzson
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
3. Declarative programming and knowledge management :
المؤلف: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
4. Functional and constraint logic programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
5. Functional and constraint logic programming
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
6. Functional and constraint logic programming
المؤلف: / Santiago Escobar (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP
رده :
QA
,
76
.
62
,.
W45
,
2009
7. Functional and constraint logic programming :
المؤلف: Josep Silva (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
رده :
QA76
.
62
8. Functional and constraint logic programming :
المؤلف: Julio Mariño (edition)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
9. Functional and constraint logic programming
المؤلف: / Santiago Escobar (ed.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
W45
2010
10. Practical aspects of declarative languages :
المؤلف: José Júlio Alferes, Moa Johansson (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
رده :
QA76
.
76
.
C65
